Order:
  1. Persistence and herbrand expansions.Joseph S. Wholey - 1963 - Journal of Symbolic Logic 28 (4):280-282.